可信软件相关论文
该文提出一种软件缺陷分析与软件测试评审相结合的可信评价办法,用于在软件开发周期中量化评估软件可信性。本方法将软件可信性定......
针对软件可信性评价问题,将软件全生命周期分为开发过程和运行维护两个阶段,运用文献分析法对2006年-2015年国家自然科学基金委在......
软件成本估算是控制软件进度、降低软件风险和保证软件质量的有效措施,已引起产业界和学术界的广泛关注。为能更准确地估算软件成......
可信软件的不断发展,进一步推动了形式化方法的深入研究。形式化方法具有严格的数学语言和精确的逻辑语义,从而保证软件在开发过程......
随着软件在安全关键领域的广泛应用，可信软件的研究成为可信计算研究中的一个重要内容。由于软件系统本身的复杂特性，如何使软件具有......
随着计算机与网络的发展,各式各样的通讯交互不断增加,计算机已经成为我们生活中不可或缺的部分。信息化进程的加快,使得社会各个......
随着计算机技术的快速发展，软件已经应用到人们日常的学习、工作和生活的方方面面。随着软件应用规模的增大，人们对软件的依赖性越来......
计算机软件在快速发展给人们带来方便,但同时由于软件规模日趋庞大、形态日趋复杂,而使得许多软件本身的可信性变得越来越脆弱。传......
在安全领域,软件完整性提供了一个不同于以往的角度对软件当前的运行状态进行评估。软件完整性代表着软件的可信赖程度(trustworth......
在当前背景下,计算机和信息技术的使用已经渗透到人们生活的很多领域,信息技术的安全问题也更加直接地影响到人们的生活,网络攻击......
需求变化传播分析是实施复杂可信软件产品演化的关键。从可信需求和功能需求之间存在相互影响的视角,本文基于需求关系模型建立、......
可信软件的提出和研究,是近年来国内外学术界和产业界普遍关注的热点问题。在可信软件开发的过程中,不同风险间相互影响和关联,给......
随着计算机应用的不断发展，在信息社会中发挥着至关重要的作用。但是软件的生产现状不能令人满意，软件安全事故、软件质量问题、软件......
摘 要 本文阐述了在科技发展迅速的今天，在众多行业当中信息的安全都包括了哪些方面，在行业当中软件编程人员通过可信软件的编程计算......
可信计算是目前信息安全领域研究的热点问题之一.首先,分析了软件可信度量的研究意义.然后构建了软件可信树体系结构,提出了软件可......
随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失......
如何在开发阶段通过提高系统的可监控性从而提升软件可信性是当前的研究热点,这些研究取得了重要成果,但是还存在许多亟待解决的关......
随着软件规模和复杂度的增加,软件失效和故障问题日益加剧。如何在开发阶段利用开发环境为实现软件可信性提供有效支撑,从而确保软......
可信软件非功能需求的量化评估是可信软件研究的一个重要领域。依据构件中非功能需求之间的相互关系,结合设计结构矩阵及矩阵变换......
现有电力生产管理系统存在不能如期完成实施、运行不稳定和功能可用性不强等可信问题.本文提出一种由系统构建、系统实施过程管理......
针对传统基于USB接口的监控系统存在的诸如缺乏介质身份认证手段，难以有效地对各等级进行隔离，可信度低等问题，一种基于可信机制的数......
基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基......
为系统化地考虑开放环境对软件可信性的影响和驱动作用,提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的......
结合软件可信性评估的特点及模糊理论的最新进展,提出一种基于模糊层次分析法和模糊多指标决策理论的评估模型。首先针对软件可信......
软件可信度评估受主观经验、主观决策及有限理性的影响,评估结果的精确性和客观性无法得到全面保证。为了解决上述问题,利用马尔可......
提出了一个软件行为监控框架,在此基础上,从软件行为描述、软件行为监测、软件行为可信管理和软件行为控制四个方面,阐述了可信软......
以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺......
国家教育部制定的高中新课程标准将算法初步作为高中数学课程的必修内容,算法与程序设计也首次纳入到选修课之列。全国大部分普通......
工作流技术作为业务过程管理的重要手段,一直是学术界研究热点。如何从正确的角度对工作流可信性进行分析与评价成为重要理论研究......
随着软件在关键领域的应用日趋普遍，由于软件复杂性导致的各种问题层出不穷，为保证软件的可信性，探索软件可信的自动化分析与验证方法......
介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例，分析了为支持程序验证的若干分离逻辑研究进展，包括分离逻辑的自身属......
针对软件的可信任问题,展开对软件可信程度的度量和评估的研究,提出了软件质量模型及分级的可信软件评估模型,将软件的信任程度分......
现有软件过程可信性评估方法中，评估结果往往基于评估人员的主观经验，其准确性和客观性无法得到保证。为解决这个问题，提出了一种基于......
形式化方法是构建可信软件的重要途径．基于对算法问题的分析，针对形式化方法PAR开发算法的特征，刻划了问题分划、递推关系构造方面的......
随着全球经济一体化的不断延伸以及我国经济的不断发展,在我国的信息产业中,可以说发展较为迅速。同时,加之互联网技术的不断更新,......
以基于服务组合的可信软件为研究对象，重点研究通过组合服务的动态演化机制保障网络化软件的可信性．首先，提出了一个合理性保持的演化......
提出了一种应用动态描述逻辑对被诊断系统进行分析的方法．动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为．给出了算......
针对开放的网络环境中大型分布式软件的调试、调优、维护和可信演化问题,提出了伴随式的监控使能分布式软件构造方法.基于发布/订......
对环境的适应是软件保证其可信的重要手段．当应用场景超出开发阶段的预设时，软件的环境适应能力需要能够在线调整，以保证其行为和结果......
嵌入式应用领域的不断拓展,嵌入式系统的安全性和可信性越发重要,如何设计和测试一个可信的嵌入式系统是现在和未来研究的重点,尤......
针对带初始输入的2维齐次线性循环的终止性问题进行研究。通过分析该类循环所有非终止点组成集合(即NT集)的性质,将该类循环NT集的......
研究了可信计算领域中的软件可信评价问题，提出了一种基于信任网络的软件可信度量方法，该方法通过信任网络模型将用户划分成不同的用......
首先介绍了Web服务合成与可信问题的基本概念,然后详细分析了可信的Web服务合成的研究现状,最后指出可信Web服务合成可能的发展方......
信息物理融合系统（CPS）软件可信性建模是CPS可信软件开发过程中至关重要的-环,现有的形式化方法、软件验证技术并不适合对CPS软件可......
为解决传统基于DS理论的融合算法在处理高冲突证据时,存在将所有证据都视为高冲突证据统一进行修正的问题,提出一种处理证据高冲突......
摘要：在可信嵌入式系统中，嵌入式系统中的可信软件栈是非常关键的部分之一。在使用过程中，要测试该系统中可信软件栈的一致性。这样才......
软件的可信运行是软件质量的关键因素，一个软件具有可信性是指其提供的服务总与用户的预期相符，为了保护软件的可信运行提出一种解决......
随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可......
针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求，结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展，提出......
